Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
71	Math: Calculus Absolute Maximum and Minimum Objectives Students will be able to: • Interpret the graph of a function. • Relate the process of finding maxima and minima to the graphs themselves. Add to Reading List Source URL: www.wolframalpha.com Language: English - Date: 2010-03-11 11:46:39
72	BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-07-04 18:40:22 Process calculus Algebra Bisimulation Model theory Operator Mathematics Theoretical computer science Algebraic structures
73	BRICS RSAceto et al.: Bisimilarity is not Finitely Based over BPA with Interrupt BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-11-21 16:35:43 Theoretical computer science Applied mathematics Process calculus Bisimulation Mathematics Algebraic structures Algebra
74	¨ BRICS RSHuttel & Srba: Recursion vs. Replication in Simple Cryptographic Protocols BRICS Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-12-08 05:15:15 Theoretical computer science Process calculi Π-calculus Communications protocol Ping Computing System software Data
75	Developing Bigraphical Languages Troels Christoffer Damgaard A PhD Dissertation Presented to the Faculty of the IT University of Copenhagen in Partial Fulfillment of the Requirements of the PhD Degree Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-12-10 11:30:39 Science Bigraph Calculus Formal language Logic Process calculus Theoretical computer science Mathematics Applied mathematics
76	GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-02-19 09:48:16 Computer science Logic Predicate logic Process calculi Π-calculus Lambda calculus Explicit substitution Free variables and bound variables Symbol Theoretical computer science Mathematics Applied mathematics
77	BRICS RSBRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-12-08 06:09:18 Process calculi Theoretical computer science Universal composability Calculus Process calculus
78	Type Systems Vasco T. Vasconcelos GLOBAN 2006 THE GLOBAL COMPUTING APPROACH TO ANALYSIS OF SYSTEMS International Summer School at DTU, August 21-25, 2006 Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-08 04:44:28 Π-calculus Process calculus Mathematics Congruence Calculus Type system Actor model and process calculi Mobile Membranes Process calculi Applied mathematics Computer science
79	Small-Time Asymptotics of Option Prices and First Absolute Moments ∗ Johannes Muhle-Karbe Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2011-07-12 11:26:18 Mathematical finance Martingale theory Itō calculus Stochastic calculus Martingale Lévy process Heston model Black–Scholes Brownian motion Statistics Stochastic processes Probability theory
80	IBP Small Shipment Application Please complete the following application. The International Book Project will review and process it based on the following criteria: The quality and completeness of the application Suitab Add to Reading List Source URL: www.intlbookproject.org Language: English - Date: 2013-12-06 15:01:33 Technology Calculus Internet Book Email Media technology Digital media International Book Project Literacy

UPDATE